781. Systems Engineering for Business Process Change:
پدیدآورنده : edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
782. Systems Engineering for Business Process Change:
پدیدآورنده : edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
783. Systems Engineering for Business Process Change :
پدیدآورنده : edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
784. Systems and software engineering with applications
پدیدآورنده : Norman F. Schneidewind.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reliability.,Software engineering.,Systems engineering.
785. Systems and software verification :
پدیدآورنده : B. Bérard [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Verification.,Computer systems -- Verification.
رده :
QA76
.
76
.
V47
B347
2011
786. Systems and software verification: model-checking techniques and tools
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer systems-- Verification,، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
S97
2001
787. Systems and software verification : model-checking techniques and tools
پدیدآورنده : B. Berard ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Vertification ، Computer systems,، Computer software -- Verification
رده :
QA
76
.
76
.
V47S97
788. Systems development methods for databases, enterprise modeling, and workflow management
پدیدآورنده : edited by Wita Wojtkowski [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
789. Systems methodology for software
پدیدآورنده : Rus, Teodor.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Systems software,، Systems programming )Computer science(
رده :
QA
76
.
76
.
S95
R87
1993
790. Systems methodology for software
پدیدآورنده : Rus, Teodor
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Systems software , Computer software - Development , Software engineering
رده :
QA
76
.
754
.
R87
1993
791. Systems programming
پدیدآورنده : Richard John Anthony.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering.,Systems programming (Computer science)
792. Systems software tools
پدیدآورنده : Biggerstaff, Ted J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Systems software,، IBM Personal Computer-- Programming,، C )Computer program language(
رده :
QA
76
.
754
.
B52
1986
793. Systems software tools
پدیدآورنده : Biggerstaff, Ted J
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Systems software,، IBM Personal Computer -- Programming,، C )Computer program language(
رده :
QA
76
.
754
.
B52
1986
794. TRON Project 1990 :
پدیدآورنده : edited by Ken Sakamura.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
A73
E358
1990
795. TRON Project 1989 :
پدیدآورنده : edited by Ken Sakamura.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
A73
E358
1989
796. Tableau for business users :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Dashboards (Management information systems) ; Software ; Information visualization ; Computer programs ; Tableau (Computer file) ;
797. Tamed Agility
پدیدآورنده : \ Matthias Book, Volker Gruhn, Rudiger Striemer
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Management information systems,Software engineering,علوم کامپیوتر ,ن‍ظام ه‍ای م‍دی‍ری‍ت اطلاعات,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
798. Tangible modeling with open source GIS /
پدیدآورنده : Anna Petrasova, Brendan Harmon, Vaclav Petras, Payam Tabrizian, Helena Mitasova.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Geographic information systems.,Open source software.,User interfaces (Computer systems),Computer vision.,Geographic information systems.,Geographical information systems (GIS) & remote sensing.,Open source software.,SCIENCE-- Earth Sciences-- Geography.,TRAVEL-- Budget.,TRAVEL-- Hikes & Walks.,TRAVEL-- Museums, Tours, Points of Interest.,TRAVEL-- Parks & Campgrounds.,User interface design & usability.,User interfaces (Computer systems)
رده :
G70
.
212
799. Technological Innovation for Sustainability
پدیدآورنده : edited by Luis M. Camarinha-Matos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Information storage and retrieval systems.,Software engineering.
800. Technological innovation for resilient systems :
پدیدآورنده : Luis M. Camarinha-Matos, Kankam O. Adu-Kankam, Mohammad Julashokri (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Application software.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers, Special purpose.,Electric power production.,Energy technology & engineering.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Network hardware.,Technology & Engineering-- Power Resources-- General.
رده :
QA76
.
76
.
A65
I35
2018
